1

Non-standard analysis in ACA0 and Riemann mapping theorem

Year:
2007
Language:
english
File:
PDF, 241 KB
english, 2007
5

Reverse mathematics and Peano categoricity

Year:
2013
Language:
english
File:
PDF, 235 KB
english, 2013
7

Nonstandard second-order arithmetic and Riemannʼs mapping theorem

Year:
2014
Language:
english
File:
PDF, 539 KB
english, 2014
8

On the strength of Ramsey's theorem without Σ 1 -induction

Year:
2013
Language:
english
File:
PDF, 96 KB
english, 2013
16

The proof-theoretic strength of Ramsey's theorem for pairs and two colors

Year:
2018
Language:
english
File:
PDF, 729 KB
english, 2018
23

Complex analysis in subsystems of second order arithmetic

Year:
2007
Language:
english
File:
PDF, 306 KB
english, 2007
24

The Dirac delta function in two settings of Reverse Mathematics

Year:
2012
Language:
english
File:
PDF, 299 KB
english, 2012
37

Propagation of partial randomness

Year:
2014
Language:
english
File:
PDF, 389 KB
english, 2014
43

Formalizing non-standard arguments in second-order arithmetic

Year:
2010
Language:
english
File:
PDF, 840 KB
english, 2010